Nuprl Definition : ma-interface-ds
11,40
postcript
pdf
ma-interface-ds(
I
;
i
) ==
I
(
i
).1
latex
clarification:
ma-interface-ds(
I
;
i
) ==
I
IdDeq(
i
).1
latex
Definitions
t
.1
,
f
(
x
)
,
IdDeq
FDL editor aliases
ma-interface-ds
origin